Optimal. Leaf size=208 \[ -\frac {8 b d^3 n \sqrt {d+e x^2}}{105 e^3}-\frac {8 b d^2 n \left (d+e x^2\right )^{3/2}}{315 e^3}+\frac {9 b d n \left (d+e x^2\right )^{5/2}}{175 e^3}-\frac {b n \left (d+e x^2\right )^{7/2}}{49 e^3}+\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{105 e^3}+\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 208, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 8, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.320, Rules used = {272, 45, 2392,
12, 1265, 911, 1275, 214} \begin {gather*} \frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}+\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{105 e^3}-\frac {8 b d^3 n \sqrt {d+e x^2}}{105 e^3}-\frac {8 b d^2 n \left (d+e x^2\right )^{3/2}}{315 e^3}+\frac {9 b d n \left (d+e x^2\right )^{5/2}}{175 e^3}-\frac {b n \left (d+e x^2\right )^{7/2}}{49 e^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 45
Rule 214
Rule 272
Rule 911
Rule 1265
Rule 1275
Rule 2392
Rubi steps
\begin {align*} \int x^5 \sqrt {d+e x^2} \left (a+b \log \left (c x^n\right )\right ) \, dx &=\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-(b n) \int \frac {\left (d+e x^2\right )^{3/2} \left (8 d^2-12 d e x^2+15 e^2 x^4\right )}{105 e^3 x} \, dx\\ &=\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-\frac {(b n) \int \frac {\left (d+e x^2\right )^{3/2} \left (8 d^2-12 d e x^2+15 e^2 x^4\right )}{x} \, dx}{105 e^3}\\ &=\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-\frac {(b n) \text {Subst}\left (\int \frac {(d+e x)^{3/2} \left (8 d^2-12 d e x+15 e^2 x^2\right )}{x} \, dx,x,x^2\right )}{210 e^3}\\ &=\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-\frac {(b n) \text {Subst}\left (\int \frac {x^4 \left (35 d^2-42 d x^2+15 x^4\right )}{-\frac {d}{e}+\frac {x^2}{e}} \, dx,x,\sqrt {d+e x^2}\right )}{105 e^4}\\ &=\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-\frac {(b n) \text {Subst}\left (\int \left (8 d^3 e+8 d^2 e x^2-27 d e x^4+15 e x^6+\frac {8 d^4}{-\frac {d}{e}+\frac {x^2}{e}}\right ) \, dx,x,\sqrt {d+e x^2}\right )}{105 e^4}\\ &=-\frac {8 b d^3 n \sqrt {d+e x^2}}{105 e^3}-\frac {8 b d^2 n \left (d+e x^2\right )^{3/2}}{315 e^3}+\frac {9 b d n \left (d+e x^2\right )^{5/2}}{175 e^3}-\frac {b n \left (d+e x^2\right )^{7/2}}{49 e^3}+\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}-\frac {\left (8 b d^4 n\right ) \text {Subst}\left (\int \frac {1}{-\frac {d}{e}+\frac {x^2}{e}} \, dx,x,\sqrt {d+e x^2}\right )}{105 e^4}\\ &=-\frac {8 b d^3 n \sqrt {d+e x^2}}{105 e^3}-\frac {8 b d^2 n \left (d+e x^2\right )^{3/2}}{315 e^3}+\frac {9 b d n \left (d+e x^2\right )^{5/2}}{175 e^3}-\frac {b n \left (d+e x^2\right )^{7/2}}{49 e^3}+\frac {8 b d^{7/2} n \tanh ^{-1}\left (\frac {\sqrt {d+e x^2}}{\sqrt {d}}\right )}{105 e^3}+\frac {d^2 \left (d+e x^2\right )^{3/2} \left (a+b \log \left (c x^n\right )\right )}{3 e^3}-\frac {2 d \left (d+e x^2\right )^{5/2} \left (a+b \log \left (c x^n\right )\right )}{5 e^3}+\frac {\left (d+e x^2\right )^{7/2} \left (a+b \log \left (c x^n\right )\right )}{7 e^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 251, normalized size = 1.21 \begin {gather*} -\frac {8 b d^{7/2} n \log (x)}{105 e^3}+\frac {b n \sqrt {d+e x^2} \left (8 d^3-4 d^2 e x^2+3 d e^2 x^4+15 e^3 x^6\right ) \log (x)}{105 e^3}+\sqrt {d+e x^2} \left (\frac {1}{49} x^6 \left (7 a-b n+7 b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )+\frac {d x^4 \left (35 a-12 b n+35 b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )}{1225 e}+\frac {2 d^3 \left (420 a-389 b n+420 b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )}{11025 e^3}-\frac {d^2 x^2 \left (420 a-179 b n+420 b \left (-n \log (x)+\log \left (c x^n\right )\right )\right )}{11025 e^2}\right )+\frac {8 b d^{7/2} n \log \left (d+\sqrt {d} \sqrt {d+e x^2}\right )}{105 e^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int x^{5} \left (a +b \ln \left (c \,x^{n}\right )\right ) \sqrt {e \,x^{2}+d}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.50, size = 224, normalized size = 1.08 \begin {gather*} -\frac {1}{11025} \, {\left (420 \, d^{\frac {7}{2}} e^{\left (-3\right )} \log \left (\frac {\sqrt {x^{2} e + d} - \sqrt {d}}{\sqrt {x^{2} e + d} + \sqrt {d}}\right ) + {\left (225 \, {\left (x^{2} e + d\right )}^{\frac {7}{2}} - 567 \, {\left (x^{2} e + d\right )}^{\frac {5}{2}} d + 280 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d^{2} + 840 \, \sqrt {x^{2} e + d} d^{3}\right )} e^{\left (-3\right )}\right )} b n + \frac {1}{105} \, {\left (15 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} x^{4} e^{\left (-1\right )} - 12 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d x^{2} e^{\left (-2\right )} + 8 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d^{2} e^{\left (-3\right )}\right )} b \log \left (c x^{n}\right ) + \frac {1}{105} \, {\left (15 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} x^{4} e^{\left (-1\right )} - 12 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d x^{2} e^{\left (-2\right )} + 8 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d^{2} e^{\left (-3\right )}\right )} a \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.43, size = 397, normalized size = 1.91 \begin {gather*} \left [\frac {1}{11025} \, {\left (420 \, b d^{\frac {7}{2}} n \log \left (-\frac {x^{2} e + 2 \, \sqrt {x^{2} e + d} \sqrt {d} + 2 \, d}{x^{2}}\right ) - {\left (225 \, {\left (b n - 7 \, a\right )} x^{6} e^{3} + 9 \, {\left (12 \, b d n - 35 \, a d\right )} x^{4} e^{2} + 778 \, b d^{3} n - 840 \, a d^{3} - {\left (179 \, b d^{2} n - 420 \, a d^{2}\right )} x^{2} e - 105 \, {\left (15 \, b x^{6} e^{3} + 3 \, b d x^{4} e^{2} - 4 \, b d^{2} x^{2} e + 8 \, b d^{3}\right )} \log \left (c\right ) - 105 \, {\left (15 \, b n x^{6} e^{3} + 3 \, b d n x^{4} e^{2} - 4 \, b d^{2} n x^{2} e + 8 \, b d^{3} n\right )} \log \left (x\right )\right )} \sqrt {x^{2} e + d}\right )} e^{\left (-3\right )}, -\frac {1}{11025} \, {\left (840 \, b \sqrt {-d} d^{3} n \arctan \left (\frac {\sqrt {-d}}{\sqrt {x^{2} e + d}}\right ) + {\left (225 \, {\left (b n - 7 \, a\right )} x^{6} e^{3} + 9 \, {\left (12 \, b d n - 35 \, a d\right )} x^{4} e^{2} + 778 \, b d^{3} n - 840 \, a d^{3} - {\left (179 \, b d^{2} n - 420 \, a d^{2}\right )} x^{2} e - 105 \, {\left (15 \, b x^{6} e^{3} + 3 \, b d x^{4} e^{2} - 4 \, b d^{2} x^{2} e + 8 \, b d^{3}\right )} \log \left (c\right ) - 105 \, {\left (15 \, b n x^{6} e^{3} + 3 \, b d n x^{4} e^{2} - 4 \, b d^{2} n x^{2} e + 8 \, b d^{3} n\right )} \log \left (x\right )\right )} \sqrt {x^{2} e + d}\right )} e^{\left (-3\right )}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int x^{5} \left (a + b \log {\left (c x^{n} \right )}\right ) \sqrt {d + e x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.84, size = 296, normalized size = 1.42 \begin {gather*} \frac {1}{7} \, \sqrt {x^{2} e + d} b x^{6} \log \left (c\right ) + \frac {1}{35} \, \sqrt {x^{2} e + d} b d x^{4} e^{\left (-1\right )} \log \left (c\right ) + \frac {1}{7} \, \sqrt {x^{2} e + d} a x^{6} + \frac {1}{35} \, \sqrt {x^{2} e + d} a d x^{4} e^{\left (-1\right )} - \frac {4}{105} \, \sqrt {x^{2} e + d} b d^{2} x^{2} e^{\left (-2\right )} \log \left (c\right ) - \frac {4}{105} \, \sqrt {x^{2} e + d} a d^{2} x^{2} e^{\left (-2\right )} + \frac {8}{105} \, \sqrt {x^{2} e + d} b d^{3} e^{\left (-3\right )} \log \left (c\right ) + \frac {8}{105} \, \sqrt {x^{2} e + d} a d^{3} e^{\left (-3\right )} + \frac {1}{11025} \, {\left (105 \, {\left (15 \, {\left (x^{2} e + d\right )}^{\frac {7}{2}} - 42 \, {\left (x^{2} e + d\right )}^{\frac {5}{2}} d + 35 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d^{2}\right )} e^{\left (-3\right )} \log \left (x\right ) - {\left (\frac {840 \, d^{4} \arctan \left (\frac {\sqrt {x^{2} e + d}}{\sqrt {-d}}\right )}{\sqrt {-d}} + 225 \, {\left (x^{2} e + d\right )}^{\frac {7}{2}} - 567 \, {\left (x^{2} e + d\right )}^{\frac {5}{2}} d + 280 \, {\left (x^{2} e + d\right )}^{\frac {3}{2}} d^{2} + 840 \, \sqrt {x^{2} e + d} d^{3}\right )} e^{\left (-3\right )}\right )} b n \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int x^5\,\sqrt {e\,x^2+d}\,\left (a+b\,\ln \left (c\,x^n\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________